Project-Team Parkas
Members
Overall Objectives
Research Program
Presentation and originality of the PARKAS team
Application Domains
Provably safe and efficient computing systems
New Software and Platforms
Lucid Synchrone
ReactiveML
Heptagon
Lucy-n: an n-synchronous data-flow programming language
ML-Sundials
ZĂ©lus
GCC
isl
ppcg
Tool support for the working semanticist
Cmmtest: a tool for hunting concurrency compiler bugs
New Results
Highlights of the Year
Quasi-synchrony
Hybrid Synchronous Languages
Fidelity in Real-Time Programming
Mechanization of AODV loop freedom proof
Reasoning about C11 Program Transformations
Language design on top of JavaScript
Tiling for Stencils
Portable representation for polyhedral compilation
Correct and efficient runtime systems
A Functional Synchronous Language with Integer Clocks
Partnerships and Cooperations
National Initiatives
European Initiatives
International Initiatives
International Research Visitors
Dissemination
Promoting Scientific Activities
Teaching - Supervision - Juries
Popularization
Bibliography
Publications of the year
References in notes
Inria
|
Raweb 2014
|
Presentation of the Project-Team PARKAS
|
PARKAS Web Site
PDF
e-Pub
Previous |
Home
| Next
Section: Dissemination
Popularization
T. Bourke hosted a tutorial by Makarius Wenzel at ENS Ulm on the Isabelle proof assistant.
Previous |
Home
| Next